翻訳と辞書 Words near each other ・ Vectisuchus ・ Vectocleidus ・ Vectograph ・ Vector ・ Vector (band) ・ Vector (company) ・ Vector (epidemiology) ・ Vector (food) ・ Vector (game) ・ Vector (magazine) ・ Vector (malware) ・ Vector (mathematics and physics) ・ Vector (molecular biology) ・ Vector (musician) ・ Vector 13 ・ Vector addition system ・ Vector algebra ・ Vector algebra relations ・ Vector Analysis ・ Vector Architect ・ Vector area ・ Vector Arena ・ Vector autoregression ・ Vector boson ・ Vector bundle ・ Vector bundles on algebraic curves ・ Vector Burn ・ Vector calculus ・ Vector calculus identities ・ Vector Capital Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Vector addition system ： ウィキペディア英語版 Vector addition system A vector addition system (VAS) is one of several mathematical modeling languages for the description of distributed systems. Vector addition systems were introduced by Richard M. Karp and Raymond E. Miller in 1969, and generalized to vector addition systems with states (VASS) by John E. Hopcroft and Jean-Jacques Pansiot in 1979. Both VAS and VASS are equivalent in many ways to Petri nets introduced earlier by Carl Adam Petri. == Informal definition == A ''vector addition system'' consists of a finite set of integer vectors. An initial vector is seen as the initial values of multiple counters, and the vectors of the VAS are seen as updates. These counters may never drop below zero. More precisely, given an initial vector with non negative values, the vectors of the VAS can be added componentwise, given that every intermediate vector has non negative values. A ''vector addition system with states'' is a VAS equipped with control states. More precisely, it is a finite directed graph with arcs labelled by integer vectors. VASS have the same restriction that the counter values should never drop below zero. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Vector addition system」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.